Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
981	Projective methods for constraint satisfaction and global optimization Arnold Neumaier, Ferenc Domes, Hermann Schichl, Mihaly Markot (University of Vienna, Austria) Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2012-08-23 13:44:55 Local consistency Constraint satisfaction Convex optimization Applied mathematics Mathematical sciences Operations research Constraint programming Mathematical optimization
982	Global optimization and constraint satisfaction Arnold Neumaier University of Vienna Vienna, Austria Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2006-12-06 02:13:41 Global optimization Constraint satisfaction problem Constraint satisfaction Optimization problem Applied mathematics Theoretical computer science Mathematics Mathematical optimization Constraint programming Operations research
983	Journal on Satisfiability, Boolean Modeling and Computation[removed]The Sat4j library, release 2.2 system description Daniel Le Berre∗ Anne Parrain Add to Reading List Source URL: jsat.ewi.tudelft.nl Language: English - Date: 2010-07-09 05:53:23 Logic in computer science Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Solver Satz ECLiPSe Unsatisfiable core Theoretical computer science Applied mathematics Constraint programming
984	Masterclass Modelling with Constraints Part 2: Formulating Abstract Models Alan M Frisch Artificial Intelligence Group Add to Reading List Source URL: www-users.cs.york.ac.uk Language: English - Date: 2012-01-06 11:16:36 Matrix Magic square Function Data type Partition Constraint satisfaction Constraint logic programming Mathematics Constraint programming Integer sequences
985	CS 229 Project: Motion from Spacetime Constraints Matt Ahrens ([removed]) Brett Levin ([removed]) April 19, 2001 Add to Reading List Source URL: mahrens.org Language: English - Date: 2001-04-19 19:36:54 Applied mathematics Operations research Constraint programming Multivariable calculus Constraint optimization Linear programming Hessian matrix Algorithm Sequential quadratic programming Mathematics Mathematical optimization Mathematical analysis
986	Masterclass Modelling with Constraints Part 3: Formulating Concrete Models (unnested types) Alan M Frisch Artificial Intelligence Group Add to Reading List Source URL: www-users.cs.york.ac.uk Language: English - Date: 2012-01-03 13:53:36 Data type Macroeconomic model Computing Mathematical modeling OptimJ Constraint satisfaction Constraint programming Software engineering Computer programming
987	A Decade of Progress in Constraint Modelling and Reformulation The Quest for Abstraction and Automation Alan M Frisch Add to Reading List Source URL: www-users.cs.york.ac.uk Language: English - Date: 2012-01-06 11:40:44 Computing Operations research Programming paradigms Mathematical optimization Mathematical modeling Declarative programming AMPL Constraint satisfaction Constrained conditional model Constraint programming Software engineering Computer programming
988	Masterclass Modelling with Constraints Part 1: Introduction Alan M Frisch Artificial Intelligence Group Add to Reading List Source URL: www-users.cs.york.ac.uk Language: English - Date: 2012-01-06 10:09:14 Software engineering Constraint satisfaction Mathematical optimization Boolean satisfiability problem Solver Answer set programming Constraint Constraint logic programming AC-3 algorithm Constraint programming Declarative programming Theoretical computer science
989	The Design of ESSENCE A Constraint Language for Specifying Combinatorial Problems Alan M. Frisch Artificial Intelligence Group Dept of Computer Science Add to Reading List Source URL: www-users.cs.york.ac.uk Language: English - Date: 2012-02-15 13:04:14 Ethology Constraint satisfaction Constraint programming Interpretation Scientific modelling

UPDATE